Structural engineering theory - PDFSEARCH.IO - Document Search Engine

Structural engineering theory
Results: 136

#	Item
1	PHYSICAL REVIEW B 87, Nonlinearity in nanomechanical cantilevers L. G. Villanueva,1,2 R. B. Karabalin,1 M. H. Matheny,1 D. Chi,1 J. E. Sader,1,3 and M. L. Roukes1 1 Add to Reading List Source URL: nano.caltech.edu Language: English - Date: 2013-03-17 20:40:14 Physics Elasticity Quantum optics Solid mechanics Mechanics Structural analysis Engineering EulerBernoulli beam theory Mechanical engineering Cantilever Laser Nonlinear system
2	Send Orders for Reprints to The Open Civil Engineering Journal, 2016, 10, (Suppl-1, M5The Open Civil Engineering Journal Add to Reading List Source URL: benthamopen.com Language: English - Date: 2016-04-01 03:03:37 Mechanics Solid mechanics Structural analysis Engineering Physics Elasticity Materials science Structural system Buckling EulerBernoulli beam theory Deflection Bending
3	FUNDAMENTAL STRUCTURAL LIMITATIONS OF AN INDUSTRIAL ENERGY MANAGEMENT CONTROLLER ARCHITECTURE FOR HYBRID VEHICLES Daniel F. Opila∗ Dept. of Mechanical Engineering University of Michigan Add to Reading List Source URL: web.eecs.umich.edu Language: English - Date: 2016-04-25 13:15:13 Mechanical engineering Technology Transport Green vehicles Engines Electric vehicles Control theory Cybernetics Dynamometer Hybrid vehicle Fuel economy in automobiles Semi-automatic transmission
4	COST Action TU0601 Robustness of Structures THEORETICAL FRAMEWORK ON Add to Reading List Source URL: www.cost-tu0601.ethz.ch Language: English - Date: 2011-06-14 08:04:55 Engineering Construction Real estate Civil engineering Structural engineering Evolutionary biology Genetics Robustness Structural robustness Info-gap decision theory
5	Automating Inductive Proofs using Theory Exploration Koen Claessen, Moa Johansson, Dan Ros´en, and Nicholas Smallbone Department of Computer Science and Engineering, Chalmers University of Technology {koen,moa.johansson Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-04-17 07:49:01 Mathematics Logic Mathematical logic Automated theorem proving Mathematical proofs Logic in computer science Statements Graph theory Structural induction Rippling ACL2 Lemma
6	Small MultiPiles: Piling Time to Explore Temporal Patterns in Dynamic Networks Benjamin Bach, Nathalie Henry-Riche, Tim Dwyer, Tara Madhyastha, Jean-Daniel Fekete, Thomas Grabowski To cite this version: Add to Reading List Source URL: hal.inria.fr Language: English - Date: 2016-06-14 14:46:27 Geotechnical engineering Graph theory Mathematics Deep foundation Structural engineering Physics Matrix Centrality Pile Dynamic functional connectivity
7	A Structural EM Algorithm for Phylogenetic Inference by Matan Ninio B.Sc., Hebrew UniversitySubmitted to the School of Computer Science & Engineering Add to Reading List Source URL: www.cs.huji.ac.il Language: English - Date: 2015-08-10 08:23:34 Computational phylogenetics Phylogenetics Biology Bioinformatics Estimation theory Statistics Phylogenetic tree Maximum parsimony Maximum likelihood estimation Tree Binary tree PHYLIP
8	Paper N° 199 A Bidirectional Tuned Liquid Column Damper for Reducing the Seismic Response of Buildings L. Rozas T. (1), R. Boroschek K. (2), A. Tamburrino T. (3), M. Rojas L) Add to Reading List Source URL: boroschek.files.wordpress.com Language: English - Date: 2015-04-17 09:15:45 Construction Real estate Engineering Ordinary differential equations Earthquake engineering Seismology Structural engineering Control theory Vibration Damping Spectral acceleration
9	HipSpec: Automating Inductive Proofs of Program Properties Koen Claessen Moa Johansson Nicholas Smallbone Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-01-15 03:40:14 Mathematics Logic Software engineering Mathematical proofs Automated theorem proving Functional languages Literate programming Graph theory Structural induction Rippling Five lemma First-order logic
10	Automatically Computing Program Path Complexity Lucas Bang, Abdulbaki Aydin, and Tevfik Bultan I. I NTRODUCTION Recent automated software testing techniques focus on achieving path coverage. We present a program complexi Add to Reading List Source URL: gswc.cs.ucsb.edu Language: English - Date: 2016-03-01 02:43:37 Computational complexity theory Software metrics Software engineering Theory of computation Complexity classes Cyclomatic complexity Software testing Structural complexity theory Control flow graph Complexity Code coverage PL

UPDATE